function specificationの例文

例文

1. A more constrained function specification is arrived at by strengthening the postcondition.
2. All function specifications may be restricted by " preconditions " which are logical predicates over the input variables only and which describe constraints that are assumed to be satisfied when the function is executed.